Static single assignment form
INTERMEDIATE REPRESENTATION (IR) IN WHICH EACH VARIABLE IS ASSIGNED EXACTLY ONCE, AND EVERY VARIABLE IS DEFINED BEFORE IT IS USED
SSA form; SSA Form; SSA (compilers); SSAF; Static single assignment; Single static assignment; SSA optimisation algorithm; Static single-assignment representation; Static single assignment representation; Static Single Assignment; Static Single Assignment form; SSA (computing); Static single assignment form
In compiler design, static single assignment form (often abbreviated as SSA form or simply SSA) is a property of an intermediate representation (IR), which requires that each variable be assigned exactly once, and every variable be defined before it is used. Existing variables in the original IR are split into versions, new variables typically indicated by the original name with a subscript in textbooks, so that every definition gets its own version.